Scalable Static Analysis Framework โ€“ hardening large C++ codebases (LLVM/Apple)
discourse.llvm.orgยท1dยท
Discuss: Hacker News
๐Ÿ“ŠStatic Analysis
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท20h
๐Ÿ”“Decompilation
Flag this post
Rouille โ€“ Rust Programming, in French
dev.toยท5hยท
Discuss: DEV
๐Ÿฆ€Rust Borrowing
Flag this post
Down with template (or not)!
cedardb.comยท20h
๐ŸŽฏGradual Typing
Flag this post
OpenBSD proposes BPF socket filtering to enhance daemon security
discoverbsd.comยท11h
๐Ÿ›ก๏ธeBPF Security
Flag this post
Notes by djb on using Fil-C with Debian multiarch
cr.yp.toยท22hยท
Discuss: Hacker News
๐ŸšBash Monads
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.comยท1d
๐Ÿ”งRISC-V Assembler
Flag this post
Ajla Tutorial
ajla-lang.czยท19hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.comยท5hยท
๐Ÿ”’Type Safety
Flag this post
Hello World in C Without Linking in Libraries
hackaday.comยท1d
๐Ÿ”—Assembly Linking
Flag this post
Void Linux Gets Runkit, a Friendly GUI for Managing runit Services
linuxiac.comยท1h
๐Ÿ› System administration
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.orgยท1dยท
๐Ÿฆ€Rust Borrowing
Flag this post
Oops, My UUIDs Collided
alexsci.comยท1hยท
Discuss: Hacker News
๐ŸงชBinary Fuzzing
Flag this post
Nim 2.2.6
nim-lang.orgยท5hยท
Discuss: Hacker News
๐ŸŒณIncremental Parsing
Flag this post
Rdza โ€“ Rust Programming, in Polish
github.comยท9hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Flag this post
Rust 1.91.0 released
lwn.netยท22h
๐Ÿฆ€Embedded Rust
Flag this post
An introduction to OCI Containers on FreeBSD
freebsdfoundation.orgยท2h
๐Ÿ“ฆMETS Containers
Flag this post
Building Up And Sanding Down
endler.devยท20h
๐Ÿ”ฉSystems Programming
Flag this post
Arranging the PIC Parterre
rastamouse.meยท3d
๐ŸŒWASI
Flag this post